#!/bin/sh

cd ../../examples/
rm ./vot.o
rm ./vot.prop1.so
rm ./vot.prop2.so
rm ./vot.prop3.so
g++ -c -g -fPIC -O2 ./VoterCore3.cpp -o ./vot.o
cd ../_build/tools/
./divine combine -f ../../examples/VoterCore3.ltl ../../examples/vot.o
./divine metrics -w 1 ../../examples/vot.prop1.so
#./divine verify -r -w 2 ../../examples/vot.prop1.so
#./divine verify -r ../../examples/vot.prop2.so
#./divine verify -r ../../examples/vot.prop3.so

